система арифметики

См. также в других словарях:

• ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин …   Математическая энциклопедия

• История арифметики — Арифметика. Роспись Пинтуриккьо. Апартаменты Борджиа. 1492 1495. Рим, Ватиканские дворцы …   Википедия

• КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… …   Математическая энциклопедия

• ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …   Математическая энциклопедия

• Троичная система счисления — Системы счисления в культуре Индо арабская система счисления Арабская Индийские Тамильская Бирманская Кхмерская Лаоская Монгольская Тайская Восточноазиатские системы счисления Китайская Японская Сучжоу Корейская Вьетнамская Счётные палочки… …   Википедия

• Двоичная система счисления — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

• Двенадцатеричная система счисления — Системы счисления в культуре Индо арабская система счисления Арабская Индийские Тамильская Бирманская Кхмерская Лаоская Монгольская Тайская Восточноазиатские системы счисления Китайская Японская Сучжоу Корейская Вьетнамская Счётные палочки… …   Википедия

• Двенадцатиричная система счисления — Двенадцатеричная система счисления позиционная система счисления с целочисленным основанием 12. Используются цифры 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B. Существует другая система обозначения, где для недостающих цифр используют не A и B, а t от… …   Википедия

• Двенадцатичная система счисления — Двенадцатеричная система счисления позиционная система счисления с целочисленным основанием 12. Используются цифры 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B. Существует другая система обозначения, где для недостающих цифр используют не A и B, а t от… …   Википедия

• КОМПЛЕКСНАЯ СИСТЕМА ОБУЧЕНИЯ — (от лат. complexus связь, сочетание), способ построения содержания образования и организации процесса обучения на основе единого связующего стержня (напр., области детских интересов и склонностей, знакомства с определённым кругом жизненных… …   Российская педагогическая энциклопедия

• Ланкастерская система — или метода взаимного обучения по Ланкастеру (см.) почти совпадает с так назыв. Белль Л. системой (см.); в России была принята исключительно Л. система. Главное их различие состояло в том, что обучение в Л. школах не носило такого религиозного… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона